1. Automated Technology for Verification and Analysis
پدیدآورنده : \ Bernd Finkbeiner, Geguang Pu, Lijun Zhang
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Automatic theorem proving -- Congresses.,Artificial intelligence -- Congresses.,اثبات قضیه خودکار -- کنگره ها , هوش مصنوعی -- کنگره ها
رده :
QA76
.
9
.
A96
A82
2015
E-Book
,
